эквивалентные предикаты

См. также в других словарях:

• интенсионал и экстенсионал — понятия, введенные австрийским логиком и философом Р. Карнапом для анализа зна чения языковых выражений. Метод И. и Э. представляет собой модификацию и дальнейшую разработку семантической концепции немецкого математика и логика Г. Фреге. Но если… …   Словарь терминов логики

• ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия

• КОНЪЮНКТИВНОЕ СУЖДЕНИЕ — (лат. соnjunctivus – соединительный, от conjungo – соединяю) (с о е д и н и т е л ь н о е с у ж д е н и е) – сложное суждение, к рое либо (а) образовано из двух (или большего числа) др. суждений (членов К. с.) с помощью союза и (или с помощью… …   Философская энциклопедия

• РАВЕНСТВО ( и ) — РАВЕНСТВО (в логике и математике) отношение между выражениями языка логики и математики, верное тогда (и только тогда), когда оба выражения обозначают один и тот же предмет, т.е., когда все, что можно сказать на языке данной теории про объект,… …   Философская энциклопедия

• МАШИНА — (в математике) абстрактное устройство, осуществляющее переработку информации. Употребительны также термины абстрактная машина , автомат . Абстрактные М. являются частным случаем управляющих систем. Возникновение их связано с анализом понятия… …   Математическая энциклопедия